Constraint Logic Programming
Identifieur interne : 00D684 ( Main/Exploration ); précédent : 00D683; suivant : 00D685Constraint Logic Programming
Auteurs : Thom Frühwirth [Allemagne] ; Alexander Herold [Allemagne] ; Volker Küchenhoff [Allemagne] ; Thierry Le Provost [Allemagne] ; Pierre Lim [Allemagne] ; Eric Monfroy [Allemagne] ; Mark Wallace [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Constraint Logic Programming (CLP) is a new class of programming languages combining the declarativity of logic programming with the efficiency of constraint solving. New application areas, amongst them many different classes of combinatorial search problems such as scheduling, planning or resource allocation can now be solved, which were intractable for logic programming so far. The most important advantage that these languages offer is the short development time while exhibiting an efficiency comparable to imperative languages. This tutorial aims at presenting the principles and concepts underlying these languages and explaining them by examples. The objective of this paper is not to give a technical survey of the current state of art in research on CLP, but rather to give a tutorial introduction and to convey the basic philosophy that is behind the different ideas in CLP. It will discuss the currently most successful computation domains and provide an overview on the different consistency techniques used in CLP and its implementations.
Url:
DOI: 10.1007/3-540-55930-2_2
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000C02
- to stream Istex, to step Curation: 000B95
- to stream Istex, to step Checkpoint: 003024
- to stream Main, to step Merge: 00DF61
- to stream Main, to step Curation: 00D684
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Constraint Logic Programming</title><author><name sortKey="Fruhwirth, Thom" sort="Fruhwirth, Thom" uniqKey="Fruhwirth T" first="Thom" last="Frühwirth">Thom Frühwirth</name></author><author><name sortKey="Herold, Alexander" sort="Herold, Alexander" uniqKey="Herold A" first="Alexander" last="Herold">Alexander Herold</name></author><author><name sortKey="Kuchenhoff, Volker" sort="Kuchenhoff, Volker" uniqKey="Kuchenhoff V" first="Volker" last="Küchenhoff">Volker Küchenhoff</name></author><author><name sortKey="Le Provost, Thierry" sort="Le Provost, Thierry" uniqKey="Le Provost T" first="Thierry" last="Le Provost">Thierry Le Provost</name></author><author><name sortKey="Lim, Pierre" sort="Lim, Pierre" uniqKey="Lim P" first="Pierre" last="Lim">Pierre Lim</name></author><author><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name></author><author><name sortKey="Wallace, Mark" sort="Wallace, Mark" uniqKey="Wallace M" first="Mark" last="Wallace">Mark Wallace</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:33086BE6155B41AFEFF8BD16CD013886E5863447</idno><date when="1992" year="1992">1992</date><idno type="doi">10.1007/3-540-55930-2_2</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-KSB37F6V-W/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000C02</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000C02</idno><idno type="wicri:Area/Istex/Curation">000B95</idno><idno type="wicri:Area/Istex/Checkpoint">003024</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">003024</idno><idno type="wicri:doubleKey">0302-9743:1992:Fruhwirth T:constraint:logic:programming</idno><idno type="wicri:Area/Main/Merge">00DF61</idno><idno type="wicri:Area/Main/Curation">00D684</idno><idno type="wicri:Area/Main/Exploration">00D684</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Constraint Logic Programming</title><author><name sortKey="Fruhwirth, Thom" sort="Fruhwirth, Thom" uniqKey="Fruhwirth T" first="Thom" last="Frühwirth">Thom Frühwirth</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>ECRC European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Haute-Bavière</region><settlement type="city">Munich</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Herold, Alexander" sort="Herold, Alexander" uniqKey="Herold A" first="Alexander" last="Herold">Alexander Herold</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>ECRC European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Haute-Bavière</region><settlement type="city">Munich</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Kuchenhoff, Volker" sort="Kuchenhoff, Volker" uniqKey="Kuchenhoff V" first="Volker" last="Küchenhoff">Volker Küchenhoff</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>ECRC European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Haute-Bavière</region><settlement type="city">Munich</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Le Provost, Thierry" sort="Le Provost, Thierry" uniqKey="Le Provost T" first="Thierry" last="Le Provost">Thierry Le Provost</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>ECRC European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Haute-Bavière</region><settlement type="city">Munich</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Lim, Pierre" sort="Lim, Pierre" uniqKey="Lim P" first="Pierre" last="Lim">Pierre Lim</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>ECRC European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Haute-Bavière</region><settlement type="city">Munich</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>ECRC European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Haute-Bavière</region><settlement type="city">Munich</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Wallace, Mark" sort="Wallace, Mark" uniqKey="Wallace M" first="Mark" last="Wallace">Mark Wallace</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>ECRC European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81</wicri:regionArea><placeName><region type="land" nuts="1">Bavière</region><region type="district" nuts="2">District de Haute-Bavière</region><settlement type="city">Munich</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><title level="s" type="abbrev">Lect Notes Comput Sci</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Constraint Logic Programming (CLP) is a new class of programming languages combining the declarativity of logic programming with the efficiency of constraint solving. New application areas, amongst them many different classes of combinatorial search problems such as scheduling, planning or resource allocation can now be solved, which were intractable for logic programming so far. The most important advantage that these languages offer is the short development time while exhibiting an efficiency comparable to imperative languages. This tutorial aims at presenting the principles and concepts underlying these languages and explaining them by examples. The objective of this paper is not to give a technical survey of the current state of art in research on CLP, but rather to give a tutorial introduction and to convey the basic philosophy that is behind the different ideas in CLP. It will discuss the currently most successful computation domains and provide an overview on the different consistency techniques used in CLP and its implementations.</div></front></TEI><affiliations><list><country><li>Allemagne</li></country><region><li>Bavière</li><li>District de Haute-Bavière</li></region><settlement><li>Munich</li></settlement></list><tree><country name="Allemagne"><region name="Bavière"><name sortKey="Fruhwirth, Thom" sort="Fruhwirth, Thom" uniqKey="Fruhwirth T" first="Thom" last="Frühwirth">Thom Frühwirth</name></region><name sortKey="Fruhwirth, Thom" sort="Fruhwirth, Thom" uniqKey="Fruhwirth T" first="Thom" last="Frühwirth">Thom Frühwirth</name><name sortKey="Herold, Alexander" sort="Herold, Alexander" uniqKey="Herold A" first="Alexander" last="Herold">Alexander Herold</name><name sortKey="Herold, Alexander" sort="Herold, Alexander" uniqKey="Herold A" first="Alexander" last="Herold">Alexander Herold</name><name sortKey="Kuchenhoff, Volker" sort="Kuchenhoff, Volker" uniqKey="Kuchenhoff V" first="Volker" last="Küchenhoff">Volker Küchenhoff</name><name sortKey="Kuchenhoff, Volker" sort="Kuchenhoff, Volker" uniqKey="Kuchenhoff V" first="Volker" last="Küchenhoff">Volker Küchenhoff</name><name sortKey="Le Provost, Thierry" sort="Le Provost, Thierry" uniqKey="Le Provost T" first="Thierry" last="Le Provost">Thierry Le Provost</name><name sortKey="Le Provost, Thierry" sort="Le Provost, Thierry" uniqKey="Le Provost T" first="Thierry" last="Le Provost">Thierry Le Provost</name><name sortKey="Lim, Pierre" sort="Lim, Pierre" uniqKey="Lim P" first="Pierre" last="Lim">Pierre Lim</name><name sortKey="Lim, Pierre" sort="Lim, Pierre" uniqKey="Lim P" first="Pierre" last="Lim">Pierre Lim</name><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name><name sortKey="Wallace, Mark" sort="Wallace, Mark" uniqKey="Wallace M" first="Mark" last="Wallace">Mark Wallace</name><name sortKey="Wallace, Mark" sort="Wallace, Mark" uniqKey="Wallace M" first="Mark" last="Wallace">Mark Wallace</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00D684 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00D684 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:33086BE6155B41AFEFF8BD16CD013886E5863447
|texte= Constraint Logic Programming
}}
| This area was generated with Dilib version V0.6.33. |  |